package bcontractor.propositional.factories;

import bcontractor.api.Sentence;
import bcontractor.api.SentenceSet;


/**
 * Factory that creates SentenceSets according to some criteria.
 * @author lundberg
 *
 */
public interface SentenceSetFactory<S extends Sentence<S>> {

	/**
	 * Creates a new sentence set
	 * @return sentence set
	 */
	SentenceSet<S> create();
}
